Integrity Software
نویسنده
چکیده
258 ISSN 1436-4522 (online) and 1176-3647 (print). © International Forum of Educational Technology & Society (IFETS). The authors and the forum jointly retain the copyright of the articles. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear the full citation on the first page. Copyrights for components of this work owned by others than IFETS must be honoured. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from the editors at [email protected]. Integrity Software (Software review) Reviewer: Carmen L. Padrón Nápoles DEI Laboratory, Computer Science Department Carlos III de Madrid University Avenida de la Universidad, 30. Leganés, Spain Tel: +34 91924 9419 [email protected]
منابع مشابه
Extending Software Systems While Keeping Conceptual Integrity
Design and analysis of software systems in terms of their Conceptual Integrity is a demanding task. Nonetheless, progress has been made in recent years and actual software systems in practical use, such as Git, have been analyzed. In this work we make a further first step within the conceptual analysis approach, by asking how to extend software systems by addition of further components while ke...
متن کاملHigh-Integrity Production Code Generation
The software integrity level is then derived based on its contribution to the failure condition. If the system response to a software-induced failure is catastrophic, or severely impedes safe flight, the software must be developed as high-integrity software. In recent years, high-integrity software has become more pervasive and increasingly complex as new aircraft systems increase their relianc...
متن کاملSoftware safety: relating software assurance and software integrity
The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, for software, it is widely accepted that there is a limit on what can be quantitatively demonstrated, e.g., by means of statistical testing and operational experience. To address this limitation, many software standards...
متن کاملAFRL-OSR-VA-TR-2015-0149 Information Flow Integrity for Systems of Independently-Developed Components
The aim of this project is to enable enforcement of integrity safe in systems of independently-developed components. In this project, we explore this problem from three perspectives. First, we developed integrity safety properties and mechanisms to enforce them. In particular, we developed resource retrieval (access) integrity, which protects programs when retrieving system resources, and imple...
متن کاملGeneric Process Framework for Developing High-Integrity Software
In high-integrity systems, certain quality requirements have gained utmost significance in such a way that failing to satisfy them at a particular level may result in the loss of the entire system, endangerment of human life, peril to the organization’s existence, or serious damage to the environment. High-integrity computer systems should incorporate top-quality software in order to adequately...
متن کاملThe Relationship Between Auditor Integrity and Organizational Commitment to Prevent Fraud
Abstract Fraud prevention measures are based on internal control, and the auditor's integrity is essential as an effort to adhere to the rules of independence and avoid conflicts of interest in the management of audit services. The purpose of this study is to examine the empirical evidence on the effect of auditor Integrity and organizational commitment on fraud prevention. The present study ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Educational Technology & Society
دوره 8 شماره
صفحات -
تاریخ انتشار 2005